8

Structured development of a virtual shared memory system

Année:
1996
Langue:
english
Fichier:
PDF, 969 KB
english, 1996
9

Refinement-oriented probability for CSP

Année:
1996
Langue:
english
Fichier:
PDF, 1.54 MB
english, 1996
10

Probabilistic communicating processes

Année:
1995
Langue:
english
Fichier:
PDF, 1.81 MB
english, 1995
23

Total body content of copper and other essential metals in rats fed fructose or starch

Année:
1988
Langue:
english
Fichier:
PDF, 549 KB
english, 1988
27

Three-dimensional simulations of distorted black holes: Comparison with axisymmetric results

Année:
1999
Langue:
english
Fichier:
PDF, 248 KB
english, 1999
30

Numerical evolution of dynamic 3D black holes: Extracting waves

Année:
1998
Langue:
english
Fichier:
PDF, 93 KB
english, 1998
34

Probabilistic predicate transformers

Année:
1996
Langue:
english
Fichier:
PDF, 295 KB
english, 1996